Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ฏGradual Typing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Three Meanings of Reference
๐Dependently Typed
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐งRISC-V Assembler
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.comยท1d
๐PostScript
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท16h
๐ณContext free grammars
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
๐ง Lisp Dialects
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โ
Format Verification
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
Ajla Tutorial
๐งLiquid Types
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Decompilation
Flag this post
Swift 6.2: Observations
mjtsai.comยท2h
๐Lens Laws
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท54m
โ๏ธTLA+
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
Loading...Loading more...